(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.3' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     15319,        527]
NotebookOptionsPosition[     11958,        426]
NotebookOutlinePosition[     14099,        482]
CellTagsIndexPosition[     14014,        477]
WindowTitle->FermionicChainSimplify
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[{
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "See Also",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"See Also", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FermionicChain\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/FermionicChain"], "\<\"DiracIndex\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracIndex"], "\<\"DiracIndexDelta\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/DiracIndexDelta"]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"SeeAlso"]],
      LineSpacing->{1.4, 0}],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "URL",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"URL", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FeynCalc/ref/FermionicChainSimplify\"\>":>
       None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell["FeynCalc/ref/FermionicChainSimplify"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; Null], 
       Delimiter, "\<\"Copy web URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell[
              BoxData[
               MakeBoxes[
                Hyperlink[
                "http://reference.wolfram.com/language/FeynCalc/ref/\
FermionicChainSimplify.html"], StandardForm]], "Input", TextClipboardType -> 
              "PlainText"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; 
        Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
         NotebookLocate[{
           URL[
            StringJoin[
             If[
              TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$131898], 
              "http://reference.wolfram.com/system-modeler/", 
              "http://reference.wolfram.com/language/"], 
             "FeynCalc/ref/FermionicChainSimplify", ".html"]], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"]],
      LineSpacing->{1.4, 0}]
    }], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["FermionicChainSimplify", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{"FermionicChainSimplify", "[", "exp", "]"}]], "InlineFormula"],
     " \[LineSeparator]simplifies chains of Dirac matrices with explicit \
Dirac indices wrapped with a head ",
     ButtonBox["FermionicChain",
      BaseStyle->"Link",
      ButtonData->"paclet:FeynCalc/ref/FermionicChain",
      ButtonNote->"FermionicChain"],
     "."
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[
 ButtonBox[Cell[TextData[{
   Cell[BoxData[
    InterpretationBox[
     StyleBox[
      GraphicsBox[{},
       BaselinePosition->Baseline,
       ImageSize->{6, 0}],
      CacheGraphics->False],
     Spacer[6]]]],
   "Details"
  }], "NotesFrameText"],
  Appearance->{Automatic, None},
  BaseStyle->None,
  ButtonFunction:>(FrontEndExecute[{
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], All, ButtonCell], 
     FrontEndToken["OpenCloseGroup"], 
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], After, CellContents]}]& ),
  Evaluator->None,
  Method->"Preemptive"]]]], "NotesSection",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->1610067633],

Cell["", "SectionHeaderSpacer"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Options", "[", "FermionicChainSimplify", "]"}]], "Input",
 CellLabel->"In[87]:=",
 CellID->1965709680],

Cell[BoxData[
 FormBox[
  RowBox[{"{", 
   RowBox[{
    RowBox[{"Contract", "\[Rule]", "True"}], ",", 
    RowBox[{"DiracGammaCombine", "\[Rule]", "True"}], ",", 
    RowBox[{"DiracSigmaExplicit", "\[Rule]", "False"}], ",", 
    RowBox[{"DiracTrick", "\[Rule]", "True"}], ",", 
    RowBox[{"Factoring", "\[Rule]", "True"}], ",", 
    RowBox[{"FCCanonicalizeDummyIndices", "\[Rule]", "True"}], ",", 
    RowBox[{"FCDiracIsolate", "\[Rule]", "True"}], ",", 
    RowBox[{"FeynCalcExternal", "\[Rule]", "False"}], ",", 
    RowBox[{"FeynCalcInternal", "\[Rule]", "False"}], ",", 
    RowBox[{"FCJoinDOTs", "\[Rule]", "True"}], ",", 
    RowBox[{"FCVerbose", "\[Rule]", "False"}], ",", 
    RowBox[{"SpinorChainTrick", "\[Rule]", "True"}], ",", 
    RowBox[{"TraceOfOne", "\[Rule]", "4"}]}], "}"}], 
  TraditionalForm]], "Output",
 ImageSize->{539, 73},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[87]=",
 CellID->433648002]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->1475130097],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->1697219253],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"FCHN", "[", 
   RowBox[{
    RowBox[{"SpinorUBar", "[", 
     RowBox[{"p1", ",", "m1"}], "]"}], ",", "i"}], "]"}], " ", 
  RowBox[{"FCHN", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"GAD", "[", "\[Mu]", "]"}], ".", 
     RowBox[{"GAD", "[", "\[Nu]", "]"}]}], ",", "i", ",", "j"}], "]"}], " ", 
  RowBox[{"FCHN", "[", 
   RowBox[{"j", ",", 
    RowBox[{"SpinorV", "[", 
     RowBox[{"p2", ",", "m2"}], "]"}]}], "]"}]}]], "Input",
 CellLabel->"In[1]:=",
 CellID->857331981],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SubscriptBox[
     RowBox[{"(", 
      FormBox[
       RowBox[{"v", "(", 
        FormBox["p2",
         TraditionalForm], ",", 
        FormBox["m2",
         TraditionalForm], ")"}],
       TraditionalForm], ")"}], 
     FormBox[
      FormBox["j",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], " ", 
   FormBox[
    SubscriptBox[
     RowBox[{"(", 
      FormBox[
       RowBox[{
        FormBox[
         SuperscriptBox["\[Gamma]", 
          FormBox[
           FormBox["\[Mu]",
            TraditionalForm],
           TraditionalForm]],
         TraditionalForm], ".", 
        FormBox[
         SuperscriptBox["\[Gamma]", 
          FormBox[
           FormBox["\[Nu]",
            TraditionalForm],
           TraditionalForm]],
         TraditionalForm]}],
       TraditionalForm], ")"}], 
     RowBox[{
      FormBox[
       FormBox["i",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["j",
        TraditionalForm],
       TraditionalForm]}]],
    TraditionalForm], " ", 
   FormBox[
    SubscriptBox[
     RowBox[{"(", 
      FormBox[
       RowBox[{
        OverscriptBox["u", "_"], "(", 
        FormBox["p1",
         TraditionalForm], ",", 
        FormBox["m1",
         TraditionalForm], ")"}],
       TraditionalForm], ")"}], 
     FormBox[
      FormBox["i",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{265, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]=",
 CellID->1603930999]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FermionicChainSimplify", "[", "%", "]"}]], "Input",
 CellLabel->"In[2]:=",
 CellID->1834507663],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     FormBox["\<\"\[CurlyPhi]\"\>",
      TraditionalForm], 
     FormBox["\<\"(\"\>",
      TraditionalForm], 
     FormBox[
      OverscriptBox[
       FormBox["p1",
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox["\<\",\"\>",
      TraditionalForm], 
     FormBox["m1",
      TraditionalForm], 
     FormBox["\<\")\"\>",
      TraditionalForm]}], ")"}], ".", 
   SuperscriptBox["\[Gamma]", 
    FormBox[
     FormBox["\[Mu]",
      TraditionalForm],
     TraditionalForm]], ".", 
   SuperscriptBox["\[Gamma]", 
    FormBox[
     FormBox["\[Nu]",
      TraditionalForm],
     TraditionalForm]], ".", 
   RowBox[{"(", 
    RowBox[{
     FormBox["\<\"\[CurlyPhi]\"\>",
      TraditionalForm], 
     FormBox["\<\"(\"\>",
      TraditionalForm], 
     FormBox[
      RowBox[{"-", 
       OverscriptBox[
        FormBox["p2",
         TraditionalForm], "_"]}],
      TraditionalForm], 
     FormBox["\<\",\"\>",
      TraditionalForm], 
     FormBox["m2",
      TraditionalForm], 
     FormBox["\<\")\"\>",
      TraditionalForm]}], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{237, 20},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]=",
 CellID->946831053]
}, Open  ]]
}, Open  ]],

Cell["", "SectionFooterSpacer"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "See Also"
}], "SeeAlsoSection",
 WholeCellGroupOpener->True,
 CellID->1255426704],

Cell[TextData[{
 StyleBox[ButtonBox["FermionicChain",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/FermionicChain",
  ButtonNote->"FermionicChain"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracIndex",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracIndex",
  ButtonNote->"DiracIndex"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracIndexDelta",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracIndexDelta",
  ButtonNote->"DiracIndexDelta"],
  FontFamily->"Verdana"],
 "."
}], "SeeAlso",
 CellID->655647701]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"FermionicChainSimplify",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2019, 3, 29, 17, 49, 19.892212}", 
    "history" -> {"9.3", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "FermionicChainSimplify[exp] simplifies chains of Dirac matrices with \
explicit Dirac indices wrapped with a head FermionicChain.", "synonyms" -> {},
     "tabletags" -> {}, "title" -> "FermionicChainSimplify", "titlemodifier" -> 
    "", "windowtitle" -> "FermionicChainSimplify", "type" -> "Symbol", "uri" -> 
    "FeynCalc/ref/FermionicChainSimplify"}, "SearchTextTranslated" -> ""},
CellContext->"Global`",
FrontEndVersion->"10.3 for Linux x86 (64-bit) (December 10, 2015)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.3 for Linux x86 (64-bit) (December 10, 2015)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "PrimaryExamplesSection"->{
  Cell[6765, 201, 388, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->1475130097]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"PrimaryExamplesSection", 13870, 470}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[594, 21, 3277, 78, 50, "AnchorBarGrid",
 CellID->1],
Cell[3874, 101, 299, 11, 44, "ObjectNameGrid"],
Cell[CellGroupData[{
Cell[4198, 116, 597, 17, 83, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[4820, 137, 739, 24, 31, "NotesSection",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->1610067633],
Cell[5562, 163, 31, 0, 14, "SectionHeaderSpacer"],
Cell[CellGroupData[{
Cell[5618, 167, 126, 3, 27, "Input",
 CellID->1965709680],
Cell[5747, 172, 957, 22, 94, "Output",
 CellID->433648002]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[6765, 201, 388, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->1475130097],
Cell[CellGroupData[{
Cell[7178, 220, 196, 6, 25, "ExampleSection",
 CellID->1697219253],
Cell[CellGroupData[{
Cell[7399, 230, 507, 16, 45, "Input",
 CellID->857331981],
Cell[7909, 248, 1625, 68, 40, "Output",
 CellID->1603930999]
}, Open  ]],
Cell[CellGroupData[{
Cell[9571, 321, 119, 3, 27, "Input",
 CellID->1834507663],
Cell[9693, 326, 1285, 52, 41, "Output",
 CellID->946831053]
}, Open  ]]
}, Open  ]],
Cell[11005, 382, 31, 0, 29, "SectionFooterSpacer"]
}, Open  ]],
Cell[CellGroupData[{
Cell[11073, 387, 270, 12, 31, "SeeAlsoSection",
 CellID->1255426704],
Cell[11346, 401, 570, 20, 55, "SeeAlso",
 CellID->655647701]
}, Open  ]],
Cell[11931, 424, 23, 0, 40, "FooterCell"]
}
]
*)

(* End of internal cache information *)

